首页> 外文OA文献 >Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

【2h】

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

机译：分布式系统的形式技术：第12届IFIP WG 6.1国际会议，2010年FMOODS和第30届IFIP WG 6.1国际会议，FORTE，2010年6月7日至9日，荷兰阿姆斯特丹

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Hatcliff, John; Zucca, Elena;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献

1. DSN2010報告The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks [J] . 今井　雅電子情報通信学会技術研究報告 . 2010,第229期

机译：DSN2010报告第40届IEEE / IFIP可靠系统和网络国际会议
2. In Search of the Dutch Lore of the Land: Old and New Legends throughout the Netherlands â[1] This article is a reworking of the paper presented at the 28th International Conference of the International Society for Contemporary Legend Research, held in Amsterdam, 28 June-1 July 2010. View all notes [J] . Theo Meder Folklore . 2011,第2期

机译：寻找土地的荷兰传说：整个荷兰的旧传说与新传说[1]本文是对在阿姆斯特丹召开的第28届国际当代传说研究学会国际会议上发表的论文的修改， 2010年6月28日至7月1日。查看所有注释
3. 24th IEEE International Conference on Micro Electro Mechanical Systems (MEMS 2011), 14th International Conference on Miniaturized Systems for Chemistry and Life Sciences (UTAS 2010), IEEE Sensors 2010 Conference (Sensors 2010) [J] . Microelectromechanical Systems, Journal of . 2010,第4期

机译：第24届IEEE微机电系统国际会议（MEMS 2011），第14届化学与生命科学微型系统国际会议（UTAS 2010），IEEE传感器2010会议（Sensors 2010）
4. International Conference on Research and Practical Issues of Enterprise Information Systems 11th IFIP WG 8.9 Working Conference, CONFENIS 2017 [C] . Min Tjoa, Li-Rong Zheng, Zhuo Zou, IFIP WG 8.9 working conference on research and practical issues of enterprise information systems . 2018

机译：企业信息系统研究与实际问题国际会议第11届IFIP WG 8.9工作会议，CONFENIS 2017
5. Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings [O] . Hatcliff, John, Zucca, Elena 2010

机译：分布式系统的形式技术：第12届IFIP WG 6.1国际会议，2010年FMOODS和第30届IFIP WG 6.1国际会议，FORTE 2010年，2010年6月7日至9日，荷兰阿姆斯特丹

Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

摘要

著录项

相似文献

相关主题

期刊订阅